Scheme theory - PDFSEARCH.IO - Document Search Engine

Scheme theory
Results: 835

#	Item
141	Randomized Testing in PLT Redex Casey Klein Robert Bruce Findler University of Chicago Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2012-08-10 19:22:01 Logic in computer science Programming language semantics Predicate logic Reduction strategy Operational semantics Robert Bruce Findler Free variables and bound variables Eval Scheme Software engineering Computing Programming language theory
142	Complex Shift Dynamics of Some Elementary Cellular Automaton Rules Add to Reading List Source URL: www.complex-systems.com Language: English - Date: 2012-03-26 17:18:16 Mathematics Probability theory Œ Latin alphabets Dynamical systems Ø Cellular automaton Bernoulli scheme Subshift of finite type Ergodic theory Combinatorics on words Statistics
143	Algebraic Geometry II (a penultimate draft) David Mumford and Tadao Oda Foreword [from DM] I gave an introductory course in algebraic geometry many times during the 60’s Add to Reading List Source URL: www.dam.brown.edu Language: English - Date: 2015-01-09 13:33:33 Algebraic geometry Commutative algebra Sheaf theory General topology Zariski topology Proj construction Sheaf Scheme Commutative ring Abstract algebra Algebra Scheme theory
144	README For the hyper-spectral data compression SW. Release Note 1 V1.0: March 09, 2010 The SW implements the hyper-spectral data compression predictor scheme under selection consideration by the CCSDS hyper-/multi-spec Add to Reading List Source URL: opensource.gsfc.nasa.gov Language: English - Date: 2010-03-12 09:43:08 Data compression Audio engineering Computer storage Digital television Video compression Golomb coding Lossless data compression Entropy encoding Hyperspectral imaging Science Information theory Technology
145	Approximation Schemes for Deal Splitting and Covering Integer Programs with Multiplicity Constraints∗ Ariel Kulik† Hadas Shachnai‡ Add to Reading List Source URL: www.cs.technion.ac.il Language: English - Date: 2011-10-04 12:29:59 Approximation algorithms Complexity classes Polynomial-time approximation scheme Optimization problem APX Parameterized complexity Bin packing problem PTAS reduction Theoretical computer science Applied mathematics Computational complexity theory
146	VLISP Byte Code Interpreter Vipin Swarup William M. Farmer Leonard G. Monk Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:04:41 Logic in computer science Programming language semantics Data types Operational semantics Actor model Interpreter Scheme Primitive data type Programming language Software engineering Computing Programming language theory
147	CCCG 2014, Halifax, Nova Scotia, August 11–13, 2014 A Distributed Algorithm for Approximate Mobile Sensor Coverage Esther Ezra∗ Jiemin Zeng† Add to Reading List Source URL: www.cccg.ca Language: English - Date: 2014-07-29 13:44:18 NP-complete problems Complexity classes Approximation algorithms Operations research Set cover problem Polynomial-time approximation scheme Time complexity Linear programming relaxation NP Theoretical computer science Computational complexity theory Applied mathematics
148	Open Problem: Determine the ideal defining Sec4 (P3 × P3 × P3 ). (Here Sec4 (V ) means the closure of the union of 3-dimensional secant spaces determined by 4 points on V .) Reward: At the IMA workshop in March 2007, I Add to Reading List Source URL: www.dms.uaf.edu Language: English - Date: 2007-07-28 02:51:20 P3 Proj construction Quintic function Mathematics Scheme theory Polynomials Honda P series
149	A Polynomial-Time Attack on the BBCRS Scheme 1 Alain Couvreur Ayoub Otmani 2 Jean-Pierre Tillich Add to Reading List Source URL: www.iacr.org Language: English - Date: 2015-03-30 09:27:24 Public-key cryptography Finite fields Error detection and correction Electronic commerce McEliece cryptosystem Goppa code Reed–Solomon error correction Factorial Mathematics Coding theory Discrete mathematics
150	Introduction to Computing: Explorations in Language, Logic, and Machines Add to Reading List Source URL: www.computingbook.org Language: English - Date: 2011-08-19 11:52:51 Computability theory Recursion Theoretical computer science Theory of computation Programming idioms Function Algorithm Scheme Tail call Software engineering Computer programming Mathematics

UPDATE